$\forall$${\it es}$:ES, $e$:E. (state when $e$) = (discrete state when $e$) $\in$ discrete state@loc($e$)